0
EUR
00,00*
Warenkorb EUR 00,00 *
Filter
    Erweiterte Suche
    Konto anlegen
    1. Startseite

    2. Model Checking – alle Bücher, LPs und CDs

    Ihre Suche nach "model checking" ergab 19 Treffer

    Ansicht:
    : Verification, Model Checking, and Abstract Interpretation, Buch

    Verification, Model Checking, and Abstract Interpretation

    Lecture Notes in Computer Science -Band 14500

    The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in Londo…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 72,27*
    Artikel ist im Warenkorb
    : Verification, Model Checking, and Abstract Interpretation, Buch

    Verification, Model Checking, and Abstract Interpretation

    Lecture Notes in Computer Science -Band 14499

    The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in Londo…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 72,27*
    Artikel ist im Warenkorb
    Anton Wijs: Concise Guide to Software Verification, Buch

    Anton Wijs
    Concise Guide to Software Verification

    Texts in Computer Science

    This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 85,33*
    Artikel ist im Warenkorb
    Alexandra Joel: The Artist's Secret, Buch

    Alexandra Joel
    The Artist's Secret

    The sweeping new saga of strong heroines and family secrets from the bestselling author of The Paris Model. While searching for her lost sister, art historian Wren Summers takes on the glittering world of…

    lieferbar in mind. 4 Wochen
    Buch
    EUR 12,96*
    Artikel ist im Warenkorb
    The Rolling Stones: Black And Blue (Limited Japan SHM-CD), CD

    The Rolling Stones
    Black And Blue (Limited Japan SHM-CD)

    1976 stieg »Black And Blue« auf Platz 1 der US Charts ein. Nachdem die Rolling Stones meherere Ersatzgitarristen für Mick Taylor unter die Lupe genommen hatten, unter anderen auch Wayne Perkins und Harvey…

    Artikel am Lager
    EUR 18,99**
    CD
     
    EUR 17,99*
    Artikel ist im Warenkorb
    Jim Sullivan: U.F.O. (remastered) (Colored Vinyl), LP

    Jim Sullivan
    U.F.O. (remastered) (Colored Vinyl)

    Im März 1975 verschwand Jim Sullivan auf mysteriöse Weise außerhalb von Santa Rosa, New Mexico. Sein VW-Käfer wurde verlassen aufgefunden, sein Motelzimmer war unberührt. Manche glauben, er habe sich in d…

    umgehend lieferbar, Bestand beim Lieferanten vorhanden
    LP
    EUR 43,99*
    Artikel ist im Warenkorb
    The Rolling Stones: Black And Blue (remastered) (180g) (Half Speed Master), LP

    The Rolling Stones
    Black And Blue (remastered) (180g) (Half Speed Master)

    1976 stieg »Black And Blue« auf Platz 1 der US Charts ein. Nachdem die Rolling Stones meherere Ersatzgitarristen für Mick Taylor unter die Lupe genommen hatten, unter anderen auch Wayne Perkins und Harvey…

    umgehend lieferbar, Bestand beim Lieferanten vorhanden
    LP
     
    EUR 31,99*
    Artikel ist im Warenkorb
    Jim Sullivan: U.F.O. (Blue Splatter Vinyl), LP

    Jim Sullivan
    U.F.O. (Blue Splatter Vinyl)

    Im März 1975 verschwand Jim Sullivan auf mysteriöse Weise außerhalb von Santa Rosa, New Mexico. Sein VW-Käfer wurde verlassen aufgefunden, sein Motelzimmer war unberührt. Manche glauben, er habe sich in d…

    Artikel am Lager
    LP
    EUR 45,99*
    Artikel ist im Warenkorb
    The Rolling Stones: Black And Blue (2009 Remastered), CD

    The Rolling Stones
    Black And Blue (2009 Remastered)

    1976 stieg »Black And Blue« auf Platz 1 der US Charts ein. Nachdem die Rolling Stones meherere Ersatzgitarristen für Mick Taylor unter die Lupe genommen hatten, unter anderen auch Wayne Perkins und Harvey…

    umgehend lieferbar, Bestand beim Lieferanten vorhanden
    CD
     
    EUR 14,99*
    Artikel ist im Warenkorb
    Jim Sullivan (Folk): If The Evening Were Dawn, CD
    -47%

    Jim Sullivan
    If The Evening Were Dawn

    Am 4. März 1975 verschwand Jim Sullivan auf mysteriöse Weise bei Santa Rosa in New Mexico. Sein VW-Käfer wurden verlassen gefunden, sein Motelzimmer wirkte unberührt. Einige denken, dass er sich verirrt h…

    lieferbar innerhalb 2-3 Wochen
    EUR 18,99**
    CD
     
    EUR 9,99*
    Artikel ist im Warenkorb
    Jim Sullivan (Folk): If The Evening Were Dawn, LP

    Jim Sullivan
    If The Evening Were Dawn

    Am 4. März 1975 verschwand Jim Sullivan auf mysteriöse Weise bei Santa Rosa in New Mexico. Sein VW-Käfer wurden verlassen gefunden, sein Motelzimmer wirkte unberührt. Einige denken, dass er sich verirrt h…

    lieferbar innerhalb 2-3 Wochen
    LP
     
    EUR 21,99*
    Artikel ist im Warenkorb
    Drew McDowall: Agalma, LP

    Drew McDowall
    Agalma

    Product Information Veteran NYC based Scottish electronic musician Drew McDowall's latest work is his loftiest, most liturgical, and least industrial outing to date - and potentially the apex of his rec…

    umgehend lieferbar, Bestand beim Lieferanten vorhanden
    LP
    EUR 26,99*
    Artikel ist im Warenkorb
    Rolf Drechsler: Design für Testbarkeit, Fehlersuche und Zuverlässigkeit, Buch

    Rolf Drechsler
    Design für Testbarkeit, Fehlersuche und Zuverlässigkeit

    In diesem Buch werden mehrere neue Ansätze vorgestellt, die den Weg für die nächste Generation integrierter Schaltungen ebnen, die auch in sicherheitskritischen Anwendungen erfolgreich und zuverlässig int…

    sofort lieferbar
    Buch
    EUR 109,99*
    Artikel ist im Warenkorb
    Jan Friso Groote: Understanding Behaviour of Distributed Systems Using mCRL2, Buch

    Jan Friso Groote
    Understanding Behaviour of Distributed Systems Using mCRL2

    Studies in Systems, Decision and Control -Band 458

    This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in part…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 197,13*
    Artikel ist im Warenkorb
    : Application and Theory of Petri Nets and Concurrency, Buch

    Application and Theory of Petri Nets and Concurrency

    Lecture Notes in Computer Science -Band 14628

    This book constitutes the proceedings of the 45th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2024, held in Geneva, Switzerland, during June 26-28, 2024. …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 81,04*
    Artikel ist im Warenkorb
    : Computer Aided Verification, Buch

    Computer Aided Verification

    Lecture Notes in Computer Science -Band 13964

    The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 43,80*
    Artikel ist im Warenkorb
    : CyberSecurity in a DevOps Environment, Buch

    CyberSecurity in a DevOps Environment

    This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring. It presents an overview of the latest technique…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 197,13*
    Artikel ist im Warenkorb
    : Computer Aided Verification, Buch

    Computer Aided Verification

    Lecture Notes in Computer Science -Band 13965

    The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 43,80*
    Artikel ist im Warenkorb
    : Computer Aided Verification, Buch

    Computer Aided Verification

    Lecture Notes in Computer Science -Band 13966

    The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 43,80*
    Artikel ist im Warenkorb
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.
    © jpc-Schallplatten-Versandhandelsgesellschaft mbH